#include<stdio.h>

int main(void)
{
	int marks,max=0;
	
	while(scanf("%d",&marks)&&marks>=0)
	{
		if(marks>max)
		{
			max=marks;
		}
	}
	
	printf("%d",max);
	
	return 0;
}
